On Generalized Communicating P Systems with One Symbol

نویسندگان

  • Erzsébet Csuhaj-Varjú
  • György Vaszil
  • Sergey Verlan
چکیده

Generalized communicating P systems (GCPSs) are purely communicating tissue-like membrane systems with rules for moving pairs of objects. Despite their simplicity, these systems are rather powerful, they are able to generate any recursively enumerable set of numbers even having restricted variants of communication rules. In this paper we show that GCPSs still remain computationally complete if they are given with a singleton alphabet of objects and with one of the restricted types of rules parallel-shift, join, presence-move, and chain.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

On Sequential and 1-Deterministic P Systems

The original definition of P-systems calls for rules to be applied in a maximally parallel fashion. However, in some cases a sequential model may be a more reasonable assumption. Here we study the computational power of different variants of sequential P-systems. Initially we look at cooperative systems operating on symbol objects and without prioritized rules, but which allow membrane dissolut...

متن کامل

On the Computational Power of 1-Deterministic and Sequential P Systems

The original definition of P-systems calls for rules to be applied in a maximally parallel fashion. However, in some cases a sequential model may be a more reasonable assumption. Here we study the computational power of different variants of sequential P-systems. Initially we look at cooperative systems operating on symbol objects and without prioritized rules, but which allow membrane dissolut...

متن کامل

Simulation and Verification of P Systems through Communicating X-machines P.Kefalas1, G.Eleftherakis1, M.Holcombe2 and M.Gheorghe2

The aim of this paper is to prove the suitability of a parallel distributed computational model, communicating X-machines, to simulate in a natural way a well established model of molecular computation, P systems, and to present some further benefits of the approach allowing us to check for some formal properties. A set of rules to transform any P system with symbol-objects into a communicating...

متن کامل

Simulation and verification of P systems through communicating X-machines.

The aim of this paper is to prove the suitability of a parallel distributed computational model, communicating X-machines, to simulate in a natural way a well established model of molecular computation, P systems, and to present some further benefits of the approach allowing us to check for some formal properties. A set of rules to transform any P system with symbol-objects into a communicating...

متن کامل

. A P ] 1 1 A ug 2 00 3 FIRST - ORDER HYPERBOLIC PSEUDODIFFERENTIAL EQUATIONS WITH GENERALIZED SYMBOLS

We consider the Cauchy problem for a hyperbolic pseudodifferential operator whose symbol is generalized, resembling a representative of a Colombeau generalized function. Such equations arise, for example, after a reduction-decoupling of second-order model systems of differential equations in seismology. We prove existence of a unique generalized solution under logtype growth conditions on the s...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2010